

(check (and (= (bitwise-or 0xF0 0x0F) 0xFF)
            (= (bitwise-and 0xF0 0x0F) 0x00)
            (= (bitwise-xor 0xF0 0x0F) 0xFF)
            (= (shl 0x0F 4) 0xF0)
            (= (shr 0xF0 4) 0x0F)))
